大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 IFAC-IFIP Workshop on Real-Time Programming 的图书(共4977本)

Trends in Functional Programming [electronic resource] : 12th International Symposium, TFP 2011, Madrid, Spain, May 16-18, 2011, Revised Selected Papers

0
索取号：
作者：Pe帽a、 Ricardo.、Page、 Rex.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Inductive Logic Programming [electronic resource] : 21st International Conference, ILP 2011, Windsor Great Park, UK, July 31 鈥ugust 3, 2011, Revised Selected Papers

0
索取号：
作者：Muggleton、 Stephen H.、Tamaddoni-Nezhad、 Alireza.、Lisi、 Francesca A.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Intelligent Science and Intelligent Data Engineering [electronic resource] : Second Sino-foreign-interchange Workshop, IScIDE 2011, Xi鈥檃n, China, October 23-25, 2011, Revised Selected Papers

0
索取号：
作者：Zhang、 Yanning.、Zhou、 Zhi-Hua.、Zhang、 Changshui.、Li、 Ying.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Programming Multi-Agent Systems [electronic resource] : 9th International Workshop, ProMAS 2011, Taipei, Taiwan, May 3, 2011, Revised Selected Papers

0
索取号：
作者：Dennis、 Louise.、Boissier、 Olivier.、Bordini、 Rafael H.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Agents and Peer-to-Peer Computing [electronic resource] : 7th International Workshop, AP2PC 2008, Estoril, Portugal, May 13, 2008 and 8th International Workshop, AP2PC 2009, Budapest, Hungary, May 11, 2009. Revised Selected Papers

0
索取号：
作者：Beneventano、 Domenico.、Despotovic、 Zoran.、Guerra、 Francesco.、Joseph、 Sam.、Moro、 Gianluca.、Pinninck、 Adri谩n Perreau.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Model Checking Software [electronic resource] : 19th International Workshop, SPIN 2012, Oxford, UK, July 23-24, 2012. Proceedings

0
索取号：
作者：Donaldson、 Alastair.、Parker、 David.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Privacy and Identity Management for Life [electronic resource] : 7th IFIP WG 9.2, 9.6/11.7, 11.4, 11.6/PrimeLife International Summer School, Trento, Italy, September 5-9, 2011, Revised Selected Papers

0
索取号：
作者：Camenisch、 Jan.、Crispo、 Bruno.、Fischer-H眉bner、 Simone.、Leenes、 Ronald.、Russello、 Giovanni.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Arithmetic of Finite Fields [electronic resource] : 4th International Workshop, WAIFI 2012, Bochum, Germany, July 16-19, 2012. Proceedings

0
索取号：
作者：脰zbudak、 Ferruh.、Rodr铆guez-Henr铆quez、 Francisco.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Descriptional Complexity of Formal Systems [electronic resource] : 14th International Workshop, DCFS 2012, Braga, Portugal, July 23-25, 2012. Proceedings

0
索取号：
作者：Kutrib、 Martin.、Moreira、 Nelma.、Reis、 Rog茅rio.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Automata, Languages, and Programming [electronic resource] : 39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012, Proceedings, Part I

0
索取号：
作者：Czumaj、 Artur.、Mehlhorn、 Kurt.、Pitts、 Andrew.、Wattenhofer、 Roger.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Automata, Languages, and Programming [electronic resource] : 39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012, Proceedings, Part II

0
索取号：
作者：Czumaj、 Artur.、Mehlhorn、 Kurt.、Pitts、 Andrew.、Wattenhofer、 Roger.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Data and Applications Security and Privacy XXVI [electronic resource] : 26th Annual IFIP WG 11.3 Conference, DBSec 2012, Paris, France, July 11-13,2012. Proceedings

0
索取号：
作者：Cuppens-Boulahia、 Nora.、Cuppens、 Fr茅d茅ric.、Garcia-Alfaro、 Joaquin.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Tools for High Performance Computing 2011 [electronic resource] : Proceedings of the 5th International Workshop on Parallel Tools for High Performance Computing, September 2011, ZIH, Dresden

0
索取号：
作者：Brunst、 Holger.、M眉ller、 Matthias S.、Nagel、 Wolfgang E.、Resch、 Michael M.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Intelligent Computer Mathematics [electronic resource] : 11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, Held as Part of CICM 2012, Bremen, Germany, July 8-13, 2012. Proceedings

0
索取号：
作者：Jeuring、 Johan.、Campbell、 John A.、Carette、 Jacques.、Reis、 Gabriel.、Sojka、 Petr.、Wenzel、 Makarius.、Sorge、 Volker.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Biomedical Image Registration [electronic resource] : 5th International Workshop, WBIR 2012, Nashville, TN, USA, July 7-8, 2012. Proceedings

0
索取号：
作者：Dawant、 Beno卯t M.、Christensen、 Gary E.、Fitzpatrick、 J. Michael.、Rueckert、 Daniel.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Breast Imaging [electronic resource] : 11th International Workshop, IWDM 2012, Philadelphia, PA, USA, July 8-11, 2012. Proceedings

0
索取号：
作者：Maidment、 Andrew D. A.、Bakic、 Predrag R.、Gavenonis、 Sara.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.